An Approach to Petri Net Reachability Problem Based on Modified Reachability Tree
نویسندگان
چکیده
منابع مشابه
A Slicing-based Approach to Enhance Petri Net Reachability Analysis
Journal of Research and Practice in Information Technology, Vol. 32, No. 2, May 2000 131 Copyright© 2000, Australian Computer Society Inc. General permission to republish, but not for profit, all or part of this material is granted, provided that the JRPIT copyright notice is given and that reference is made to the publication, to its date of issue, and to the fact that reprinting privileges we...
متن کاملPetri Net Reachability Analysis meets Model-Based Diagnostic Problem Solving
| The present paper describes the formal connection between model-based diagnostic problem solving (usually performed inside logical frameworks) and Petri net reachability analysis , in case the model of the device under examination is described through a net model. We show that, by suitably re-formulating a diagnostic problem in a net-based setting, the characterization of the diagnostic proce...
متن کاملAn Approach for Solving the General Petri Net Reachability Problem – Duality Theory and Applications
Eswar Sivaraman School of Industrial Engineering and Management Oklahoma State University, Stillwater, OK ABSTRACT This report explores a few ideas in connection with the notion of a dual for a Petri net, and its relevance to solving the general Petri net reachability problem. A comprehensive theoretical framework for Petri net analysis using duals is derived, and sufficiency conditions for sol...
متن کاملEscape-Time Modified Algorithm for Generating Fractal Images Based on Petri Net Reachability
This paper presents a new approach to computer image generation via three proposed methods for translating the evolution of a Petri net into fractal image synthesis. The idea is derived from the concept of fractal iteration principles in the escape-time algorithm and chaos game. The approach uses a Petri net as a powerful abstract modeling tool for fractal image synthesis via its duality, deadl...
متن کاملOn Reachability in Autonomous Continuous Petri Net Systems
Fluidification is a common relaxation technique used to deal in a more friendly way with large discrete event dynamic systems. In Petri nets, fluidification leads to continuous Petri nets systems in which the firing amounts are not restricted to be integers. For these systems reachability can be interpreted in several ways. The concepts of reachability and lim-reachability were considered in [7...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Society of Instrument and Control Engineers
سال: 1991
ISSN: 0453-4654
DOI: 10.9746/sicetr1965.27.1427